#include <inc/types.h>

#define MAX_CPU 32

struct cpu
{
	int lapicid;
	int cpuid;
	int nodeid;
	int bootp;
	volatile int booted;
};

volatile extern struct cpu cpus[MAX_CPU];



